\relax 
\bibstyle{abbrv}
\catcode`"\active
\catcode`<\active
\catcode`>\active
\@nameuse{es@quoting}
\catcode`'\active
\select@language{spanish}
\@writefile{toc}{\select@language{spanish}}
\@writefile{lof}{\select@language{spanish}}
\@writefile{lot}{\select@language{spanish}}
\@input{abstract.aux}
\@input{contents.aux}
\@input{introduccion_tesis.aux}
\@input{Introduccion.aux}
\@input{phaskell_description.aux}
\@input{phaskell_definition.aux}
\@input{functionalequiv.aux}
\@input{phaskell_implementacion.aux}
\@input{casodeuso_sha1.aux}
\@input{apendiceA.aux}
\@input{apendiceB.aux}
\@input{apendiceC.aux}
\@input{bib.aux}
